Elimination of superfluous constants in the language of quasi-analytic classes and description of prime models in these classes
نویسنده
چکیده
Let E be a set of real restricted quasi-analytic functions ; we describe a language L definable from E , +, × and <, and a L-theory T , universal and “explicit”, such that T is equivalent to the complete theory of R in L and T is model-complete. As a consequence, we give a description of the prime model of this theory.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملCitizenship Classes for Bhutanese-Nepali Elders: From Cognitive Deficits to Cultural-Historical Understandings
This article focuses on home-based citizenship classes for Bhutanese-Nepali elders in Central Ohio in the United States. As part of a larger longitudinal study centered in the ethnographic, language socialization, and discourse analytic traditions, the article focuses on data, particularly regular audiovideo recordings, gathered over a five-month period and tracks one student’s progress towards...
متن کاملThe Effect of Different Task Types on Learning Prepositions in Form–Focused and Meaning–Focused Interaction Enhancement-Based Classes
The current study examines the impact of different task types on learning prepositions in form and meaning- focused interaction enhancement- based classes. The participants were 57 second Year University students enrolled in three intact lab classes at Tabriz Islamic Azad University. The first group was provided with form-focused interaction enhancement, the second with the meaning-focused int...
متن کاملModified output in task-based EFL classes across gender
AbstractThe current study examined the modification devices (MDs) used by non-native speakers (NNSs) learning EFL during dyadic task-based interactions. Three meaning-oriented tasks, namely picture-description, spot-the-difference, and opinion-exchange, were used to elicit data from 24(12 male and 12 female, forming 4 male-male, 4 female-female, and 4 male-female dyads) Iranian EFL learners wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007